Torsion Part of Z-module
نویسندگان
چکیده
In this article, we formalize in Mizar [7] the definition of “torsion part” of Z-module and its properties. We show Z-module generated by the field of rational numbers as an example of torsion-free non free Z-modules. We also formalize the rank-nullity theorem over finite-rank free Z-modules (previously formalized in [1]). Z-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [23] and cryptographic systems with lattices [24].
منابع مشابه
DOMINATION NUMBER OF TOTAL GRAPH OF MODULE
Let $R$ be a commutative ring and $M$ be an $R$-module with $T(M)$ as subset, the set of torsion elements. The total graph of the module denoted by $T(Gamma(M))$, is the (undirected) graph with all elements of $M$ as vertices, and for distinct elements $n,m in M$, the vertices $n$ and $m$ are adjacent if and only if $n+m in T(M)$. In this paper we study the domination number of $T(Gamma(M))$ a...
متن کاملTorsion Z-module and Torsion-free Z-module
In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove formally that finitely generated torsion-free Z-modules are finite rank free. We also formalize properties related to rank of finite rank free Z-modules. The notion of Z-module is necessary for solving lattice problems, LLL (Lenstra, Lenstra, and Lovász) base reduction algorithm [20], cryptographic...
متن کاملTorsion Z-module and Torsion-free Z-module1
In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove formally that finitely generated torsion-free Z-modules are finite rank free. We also formalize properties related to rank of finite rank free Z-modules. The notion of Z-module is necessary for solving lattice problems, LLL (Lenstra, Lenstra, and Lovász) base reduction algorithm [20], cryptographic...
متن کاملA relative extending module and torsion precovers
We first characterize $tau$-complemented modules with relative (pre)-covers. We also introduce an extending module relative to $tau$-pure submodules on a hereditary torsion theory $tau$ and give its relationship with $tau$-complemented modules.
متن کاملA Generalization of M-Small Modules
In this paper we introduce a generalization of M-small modules and discuss about the torsion theory cogenerated by this kind of modules in category . We will use the structure of the radical of a module in and get some suitable results about this class of modules. Also the relation between injective hull in and this kind of modules will be investigated in this article. For a module we show...
متن کامل